Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
381	EARPA Position Paper New conceptual vehicle design 31 March 2014 About EARPA Founded in 2002, EARPA is the association of automotive R&D organisations. It brings Add to Reading List Source URL: www.earpa.eu Language: English - Date: 2014-03-29 13:46:21 Systems science Software development process Verification Product lifecycle management Design for X Systems engineering Science Software development
382	Cooperative Mobility Systems and Services for Energy Efficiency D5.1 SP5 Use cases & System Add to Reading List Source URL: www.ecomove-project.eu Language: English - Date: 2012-07-11 08:33:12 Systems engineering Technology Business Product management Requirement Functional requirement Validation Verification and validation V-Model Software requirements Pharmaceutical industry Validity
383	Microsoft Word - simTD@RE2011_final Add to Reading List Source URL: simtd.de Language: English - Date: 2014-02-24 04:48:29 Validity Science Software engineering Systems science Formal methods Verification and validation Systems engineering process Validation Software development process Systems engineering Software development Pharmaceutical industry
384	Microsoft Word - simTD@RE2011_final Add to Reading List Source URL: www.simtd.de Language: English - Date: 2014-02-18 10:24:21 Validity Science Software engineering Systems science Formal methods Verification and validation Systems engineering process Validation Software development process Systems engineering Software development Pharmaceutical industry
385	The COST IC0701 Verification Competition 2011 Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliˆatre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude March´e, Rosemary Mona Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2012-07-16 03:37:08 Procedural programming languages Formal methods Program logic Predicate transformer semantics Recursion KeY Binary heap Termination analysis ALGOL 68 Software engineering Computing Computer programming
386	Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland firstn Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2011-07-18 08:21:02 Logic in computer science Design by contract Eiffel Formal verification Software verification Postcondition KeY Formal methods Exception handling Software engineering Theoretical computer science Computing
387	Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.la Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2012-09-28 08:15:15 Logic in computer science Object-oriented programming Procedural programming languages Postcondition Control flow Eiffel Precondition Programming paradigms Exception handling Software engineering Computing Computer programming
388	Summary of Gold Standard Version 2.2 rules Introduction The Gold Standard Version 2.2 came into force on 1st June 2012 and Add to Reading List Source URL: www.goldstandard.org Language: English - Date: 2014-03-24 08:32:48 Science Clinical research Quality Validation Software development process Requirement Systems engineering process Verification Knowledge Systems engineering Pharmaceutical industry Validity
389	Geocent, 12:27 PM Search... Add to Reading List Source URL: gfmorris.net Language: English - Date: 2014-07-13 13:28:02 Software engineering Integrated logistics support Science Technology Systems engineering Verification Requirement
390	SAGE SCIENCE INC Pippin Prep IQ/OQRev. A Originated: March 5, 2015 Sheet 1 of 11 Prepared by: Alex Vira Add to Reading List Source URL: www.sagescience.com Language: English - Date: 2015-03-09 14:57:31 Knowledge Pharmaceutical industry Validity Food safety Systems engineering Verification and validation Toyota iQ Sage Intelligence quotient Science Psychometrics Mathematical software

UPDATE